updated: 2022-01-23_12:32:30-05:00


RL Closure under Intersection

Proof is the same as RL Closure under Union except for the last state